Gölpazarı Havzası’nın Kuvaterner Gelişimi (KB Türkiye)

Turkiye'de Yazilimin Temel Gosterge Alanlarda Gelisimi

Öz. Yakın zamanlı bir Gartner raporuna göre Türkiye, bilişim teknolojilerinde (BT) ve denizaşırı hizmetlerde ilk 30 ülke arasında yer alması dolayısı ile bu alanda dikkat çeken ülkeler arasına girmiştir. Son yıllarda Türkiye yazılım sektöründe büyüme ve yazılım mühendisliği uygulamalarında ilerleme sağlamış, bunun bir yansıması olarak birçok ülkeye yaptığı yazılım ihracatında artış olmuştur. Bu...

Kb , Kd , and

Gerçek Zamanlı Gömülü Yazılımlar için Test Otomasyonu: Türkiye Endüstrisinden Bir Yaklaşım ve Deneyim Raporu

Öz. Gömülü sistemler,

Gömülü Sistem Mühendisliğinde Kullanılan Yazılım Modellemesi ve Model Güdümlü Teknikler Anketi: Türkiye Sonuçları

Özet. Gömülü sistemler gün geçtikçe hayatımızın vazgeçilmez bir parçası haline gelmektedir. Bu sistemlerin performans ve kalite kriterleri diğer yazılım sistemlerinden farklı olduğundan, donanım ve yazılım alt parçalarının birlikte tasarlanmasını, geliştirilmesini ve sınanmasını gerektirir. Bu zorlukla artan karmaşıklığın daha iyi yönetilebilmesi için sıkça kullanılan bir yöntem, yüksek seviyed...

Algorithms for Propositional KB Approximation

One of the obstacles to the effective compilation of propositional knowledge bases (KBs) using Horn approximations, as introduced by (Selman & Kautz 1991), is the lack of computationally feasible methods for generating Horn bounds. In this paper new algorithms for generating Horn Greatest Lower Bounds (GLB) that can apply to large size KBs, are presented. The approach is extended through a more...